(Info-index): change pattern so that index entries
authorKarl Berry <karl@gnu.org>
Wed, 22 Jan 2003 20:35:23 +0000 (20:35 +0000)
committerKarl Berry <karl@gnu.org>
Wed, 22 Jan 2003 20:35:23 +0000 (20:35 +0000)
commit5c4bab2b5c5dd5515c72b010ec06d2a748958953
tree7301f7851b8891b39115500bcdd7b142b5e939ce
parent78ba2a162a707bc211fdfaf736c4ec1c4d88ec84
(Info-index): change pattern so that index entries
with colons can be read properly; also, require at
least one space after the colons, which makeinfo
puts in.  From: Aubrey Jaffer <agj@alum.mit.edu>,
7 Nov 2002 21:16:12 -0500, sent to bug-texinfo.
lisp/info.el